On object state testing
نویسندگان
چکیده
The importance of object state testing is illustrated through a simple example. We show that certain errors in the implementation of object state behavior cannot be readily detected by conventional structural testing, functional testing, and state testing. We describe an object state test model and outline a reverse engineering method for extracting object state behaviors from C++ source code. The object state test model is a hierarchical, concurrent, communicating state machines. It resembles the concepts of inheritance and aggregation in the object-oriented paradigm, rather than the concept of state decomposition as in some existing models. The reverse engineering method is based on symbolic execution to extract the states and e ects of the member functions. The symbolic execution results are used to construct the state machines. The usefulness of the model and the method is discussed in the context of object state testing in the detection of a state behavior error.
منابع مشابه
Object state testing and fault analysis for reliable software systems
Object state behavior implies that the eeect of an operation on an object may depend on the states of the object and other objects. It may cause state changes to more than one object. Thus, the combined or composite eeects of the object operations must be analyzed and tested. We show that certain object state behavior errors cannot be detected readily by conventional testing methods. We describ...
متن کاملGeneral relativistic hydrodynamic flows around a static compact object in final stages of accretion flow
Dynamics of stationary axisymmetric configuration of the viscous accreting fluids surrounding a non-rotating compact object in final stages of accretion flow is presented here. For the special case of thin disk approximation, the relativistic fluid equations ignoring self-gravity of the disk are derived in Schwarzschild geometry. For two different state equations, two sets of self-consistent an...
متن کاملA NEURO-FUZZY GRAPHIC OBJECT CLASSIFIER WITH MODIFIED DISTANCE MEASURE ESTIMATOR
The paper analyses issues leading to errors in graphic object classifiers. Thedistance measures suggested in literature and used as a basis in traditional, fuzzy, andNeuro-Fuzzy classifiers are found to be not suitable for classification of non-stylized orfuzzy objects in which the features of classes are much more difficult to recognize becauseof significant uncertainties in their location and...
متن کاملConformance Testing of Object-Oriented Components Specified by State/Transition Classes
In object-oriented software development, a class is the basic unit of semantic abstraction, a component is a closely related collection of classes, and a system is a collection of components designed to solve a problem. An object is an instance of a class. Each object consists of state and behavior, where state is determined by the values of state variables identified in the class definition, a...
متن کاملNISTIR 6592 Conformance Testing of Object - Oriented Components Specified
In object-oriented software development, a class is the basic unit of semantic abstraction, a component is a closely related collection of classes, and a system is a collection of components designed to solve a problem. An object is an instance of a class. Each object consists of state and behavior, where state is determined by the values of state variables identified in the class definition, a...
متن کامل